Proof that square root of 2 is irrational

Action restricted!