923 = 13 * 71 ;
then 13 divides 923 ;
hence not 923 is prime ; :: thesis: verum