Is 871319 is in its lowest form?
Suppose p/q is a positive rational in its lowest form. Prove that is also in its lowest form.