Nuprl - Proof: composite with prime factor a 2

(18steps total) PrintForm Definitions Lemmas SimpleMulFacts Sections DiscrMathExt Doc

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: composite with prime factor a 2

1.

x:

. 2

x

prime(x)

(

i,j:{2..x

}. x = i

j & prime(i))

x:{2...}.

prime(x)

(

i,j:{2..x

}. x = i

j & prime(i))

By:

Auto

Generated subgoal:

1 2. x : {2...}
3. prime(x)
i,j:{2..x}. x = ij & prime(i)
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(18steps total) PrintForm Definitions Lemmas SimpleMulFacts Sections DiscrMathExt Doc