Theorem T000615