Theorem T000215