n ∉ Composite
∀n1,n2
n ≠ n1 • n2
or
n1=1 or n2 =1
|
|
|
|
|
|
|
|
|||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
|
|||||||||||||||||||||||
|
||||||||||||||||||||||||
|
n ∉ Composite |
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
∀n1,n2
n ≠ n1 • n2
or
n1=1 or n2 =1 |
||||||||||||||||||||||||