Theorem T000100