Theorem T000601