Theorem T000756