Theorem T000006