Add in the red part that m is also different from 1, otherwise, the implication "m divides p & p prime = contradiction" is false, because 1 can divide a prime number.

Plus, what if ? It divides p but p is still prime !

If , then we have :

, which is a contradiction... I'll let your prove it because I've managed to confuse myself