PROOF 08
Prove.
The Euclidean algorithm always terminates
On the naturals ℕ.
Definition D1
d | a means that a natural number k exists satisfying a = dk.
Proof.
Related labs
PROOF 08
The Euclidean algorithm always terminates
On the naturals ℕ.
Definition D1
d | a means that a natural number k exists satisfying a = dk.
Proof.
Related labs