Theorem T000536