Theorem T000806