Stefan | ᕕ(◠ڼ◠)ᕗ
says to
電訊台
so euclid cannot assume sqrt(2) is rational?