1312 = 2 * 656 ;
then 2 divides 1312 ;
hence not 1312 is prime ; :: thesis: verum