715 = 5 * 143 ;
then 5 divides 715 ;
hence not 715 is prime ; :: thesis: verum