Theorem T000104