bundle theorem and practition

:hehe: