Theorem T000355