The way i see it written usually is: if a prime number p divides the product of 2 integers a, b then p also divides either a or b.
however i also see it sometimes written as "... then p also divides either a, b or both.
it seems that from the first wording "p also divides either a or b" it excludes the possibility of p|a and p|b. even in the proof which uses Bezout's identity, it is assumed that p does not divide one of them and you then show that it must divide the other. this convinces me that p MUST divide one of them. but i feel that this proof is incomplete because it doesn't seem to take into account if it is possible for p to be able to divide both a and b.
after proving eulclid's lemma using bezout's identity, i know for a fact that p has to divide one of them. so lets say that p|a. then p could either divide b or not divide b. so is the reason that p dividing both a and b could be a possibility is because there is nothing preventing that to be so? maybe i'm reading too far into the statement but the use of the words "either" and "or" seem to force the choices to be ONLY one or the other and NOT both. i am confused on this matter. help clearing this up would be greatly appreciated.