Theorem T000403