Prove root 6 as irrational

K S Smart's image