Theorem T000115