Theorem T000614