Theorem T000675