Theorem T000050