713 = 23 * 31 ;
then 23 divides 713 ;
hence not 713 is prime ; :: thesis: verum