Theorem T000051