Which of the following proof methods can be used to prove that 3, 4 and 5 are the only three consecutive positive integers where the square of the largest integer is the sum of the squares of the two smaller integers?
1) Counter example proof
2) Constructive existence proof
3) Nonconstructive existence proof
4) Uniqueness proof