Theorem T000661