Theorem T000324