Let m, n E N be such that m > n. Show that the three numbers a = m' - n2, b = 2mn, c = m' +n are a PTr. (This is Euclid's formula for generating PTr's). Does Euclid's formula generate all PTr's? If so, prove this. If not, give a good counter example and justify it