Is this a right triangle? a=5, b=7, c=13