578 = 2 * 289 ;
then 2 divides 578 ;
hence not 578 is prime ; :: thesis: verum