Print Theorem Follows