Theorem T000707