Theorem T000363