That's what I would do.

1) there does not exist a prime p such that p | r and p | s

2) for any prime p and integer n, p | n if and only if p | n^2

3) therefore....

I don't think so. It follows from part (a) in the sense that a rational m/n in lowest terms is integer iff |n| = 1.