But the Euclid proof also depends on the Unique factorization Theorem, otherwise it would not be possible to decide whether a/b was in its lowest form

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.