917 = 7 * 131 ;
then 7 divides 917 ;
hence not 917 is prime ; :: thesis: verum