Theorem T000450