562 = 2 * 281 ;
then 2 divides 562 ;
hence not 562 is prime ; :: thesis: verum