583 = 11 * 53 ;
then 11 divides 583 ;
hence not 583 is prime ; :: thesis: verum