Let's check that `p * q == modulus`?