Theorem T000372