Theorem T000408