Theorem T000399