brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  feha2irr

---

Theorem feha2irr 703

Description: The square root of two is not rational. Theorem 1 of [Freek].

Assertion

Ref	Expression
feha2irr	⊢ naku li fe'a re frinyna'u ko'a ko'e

---

Proof of Theorem feha2irr

Step	Hyp	Ref	Expression

Colors of variables: sumti selbri bridi

WARNING: This theorem has an incomplete proof.

This theorem is referenced by: (None)

Copyright terms: Public domain

W3C validator