Actually, I'm pretty sure that that proof doesn't use the Fundamental Theorem of Arithmetic. FTA states that every natural number has exactly one prime factorization, up to sign, and this proof doesn't use that.