Theorem T000047