Question: who proved that square root of 2 is irrational?
Answer: Pythagoreans