Suppose we are trying to factor a number N. We have found a number M one of whose factors may also be a factor of N. Describe how you would check efficiently if this is indeed the case, and if so, find a non-trivial factor of N.