Theorem T000721