ウインマグノリア. Twrp 3.7 0 on7xelte. 茨城県水戸市愛宕町 2255. Prove that root 2 is irrational examples.