(42steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: sqrt prime irrational 2 1 2 1
1. p:
2. prime(p)
3. 0 < p
4. m:
5. n:
6. mm = pnn
7. n = 0
8. pnn < 0
0mm
By: BackThru Thm* a,b:. 0ab
Generated subgoals:

None

About:
intnatural_numbermultiplyless_thanequalall

(42steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc