1791 = 3 * 597 ;
then 3 divides 1791 ;
hence not 1791 is prime ; :: thesis: verum