Theorem T000405