695 = 5 * 139 ;
then 5 divides 695 ;
hence not 695 is prime ; :: thesis: verum