Theorem T000246