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.