Theorem T000648