Theorem T000060