Hello gate13I'm no expert on Number Theory, but, since no-one else has offered any comment, your proof looks basically sound to me. I think you could say, after the line, ' prime decomposition of '

Assume without loss of generality that . Then:...etcAlso, when you reach the line:

I think you can say immediately that .

Grandad