1790 = 2 * 895 ;
then 2 divides 1790 ;
hence not 1790 is prime ; :: thesis: verum