954 = 2 * 477 ;
then 2 divides 954 ;
hence not 954 is prime ; :: thesis: verum