Pi Squared is Irrational

Theorem
Pi squared ($\pi^2$) is irrational.