Theorem T000360