PROOF 12
Prove.
Prime factorization is unique
On the naturals ℕ.
Definition D1
b | a means that a natural number k exists satisfying a = bk.
Proof.
Related labs
PROOF 12
Prime factorization is unique
On the naturals ℕ.
Definition D1
b | a means that a natural number k exists satisfying a = bk.
Proof.
Related labs