Theorem T000822