948 = 2 * 474 ;
then 2 divides 948 ;
hence not 948 is prime ; :: thesis: verum