No right triangle is isosceles denial