How to determine the scope of a proof?
This is a very interesting question and this answer might be a surprise to you: it depends on your other exercises. That is, if you answered correctly other exercises, the teacher will be inclined to accept a short proof, even if some intermediate steps are missing, as long as he or she is convinced that you master these intermediate steps.
Let me explain this idea in the context of your example (in which I suppose that $m$ and $p$ are nonnegative integers and $n$ and $q$ are positive integers). Suppose you start your proof by writing
It is easy to prove by induction on $b \in \mathbb{N}$ that, for all $a \in \mathbb{N}$, $(x^a)^b= x^{ab}$.
If you just did correctly a few exercises involving induction, and if the rest of the argument is correct, this is likely to be accepted. However, if you previously did major mistakes on some induction argument, you may well receive a nasty comment like "if this is easy to prove, why don't you do it?"
That being said, when you detect that an exercise is an application of a theorem of the previous lesson, it is best to focus on this and explain how you want to apply the theorem. This involves carefully justify that the hypotheses are filled. Short proofs are usually better, but still need to be fully justified. Moreover, you have to understand the purpose of the exercise. For your example, it is likely that you are not allowed to use the formula $(x^a)^b= x^{ab}$, with $a, b \in \mathbb{Q}$, and that a more detailed proof is needed. But you can still write
The result would immediately follow from the fact that, for all $a, b \in \mathbb{Q}$, $(x^a)^b= x^{ab}$.
and then proceed to the longer proof.
You have to know the following:
Your audience. Proofs are almost never machine-like automatons in two-column format. They're written by people for people, and as such are pieces of rhetoric. Therefore, you must know your audience.
Your math. Obviously, the proof needs to start from the starting-point and get to the finish line, and the steps in-between need to be valid.
What you are allowed to assume, and the rules of inference available to you. Different systems of logic, for example Copi's 19 Rules versus Natural Deduction, will have different ways you can get from one line to the next. As for what you're allowed to assume, that is universally held to be only those theorems that have already been proven in your course of study. Otherwise, you are guilty of circularity (a logical fallacy).