Hola,
utilizas la parte 1 demostrada para concluir que m divide a n, pero por la hipótesis que tienes (recíproco de la parte 2) esto implicaría que hallaste un d=m que divide a n, positivo y distinto de n, entonces se cumple que g^m \neq 1por dicha hipótesis. Lo que es absurdo, ya que g^m=1.(por ser el orden de g).
Saludos