Theorem T000035