636 = 2 * 318 ;
then 2 divides 636 ;
hence not 636 is prime ; :: thesis: verum