Thanks for all the helpful replies!
One question though:
Quote:
Since its denominator is always p1*p2*p3*...*pn and not 1

Is that sufficient? 12/6 is an integer and the denominator is 2*3. The key would be to prove that it always remains 2*3  or p#.