927 = 3 * 309 ;
then 3 divides 927 ;
hence not 927 is prime ; :: thesis: verum