add diagram-proof that sqrt(3) is irrational