Theorem T000082