Yes, it is.
How explicit do I have to be? For example, is it OK for me to leave out the fact that for a, b in R, a > 0 and b > 0 implies that ab > 0? If so, then what else could I have left out?
Depends on the context. For example I suppose you are allowed to use all the properties appearing in your proof.