Theorem T000019