hola:
el caso en que ambas son mayores a cero está contemplado en el primero (si p>0), ya que no se dice nada de la otra variable, que podría ser o no ser cero.
lo que no está bien es la justificación final, porque dependiendo de los valores de p y q sí se podría dar que la suma sea igual. yo justificaría diciendo que, para cualquier i<>1, la cantidad de letras de la subtira antes del primer numeral (notada como x) no es el doble que la que está luego del segundo numeral (xI).
saludos,
d.-