Theorem T000424