Theorem step-by-step construction