Theorem T000915