Do three lengths form a right triangle?