i like cantors diagonalization proof

the thibg that got me into math was the non constructive proof that there are two irrational, such that raising one of them to the other gives a rational. (the one with √2^√2)

I really like totient/modular arithmetic and I also love square numbers. I also like series like pascal’s triangle.

maybe the nullstellensatz or the structure theorem for fg modules over a pid