Theorem proof