(42steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
At:
sqrt
prime
irrational
2
1
1.
p:
2.
prime(p)
3.
0 < p
4.
m:
5.
n:
6.
m
m = p
n
n
7.
n = 0
n = 0
By:
Assert (p
n
n < 0)
Generated subgoals:
1
p
n
n < 0
2
steps
2
8.
p
n
n < 0
n = 0
2
steps
About:
(42steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
p
nn < 0nn < 0 n = 0
0 < p
m = pnn
n = 0
n = 0
nn < 0)
pnn < 0nn < 0 n = 0
