Theorem T000048