Theorem T000107