901 = 17 * 53 ;
then 17 divides 901 ;
hence not 901 is prime ; :: thesis: verum