Positive Integer Greater than 1 has a Prime Divisor/Proof 2