931 = 7 * 133 ;
then 7 divides 931 ;
hence not 931 is prime ; :: thesis: verum