Theorem T000014