Theorem T000079