1547 = 7 * 221 ;
then 7 divides 1547 ;
hence not 1547 is prime ; :: thesis: verum