Root Two

Easy
ProofNumber Theory