Question

"What proof etchnique is beeing use? What is the P statement what is the Q statement Let x, y in Z. If 3|x or 3|y then 3|xy. PROOF: Assume that 3|x or 3|y. Without loss of generality, assume that 3|x."