725 = 5 * 145 ;
then 5 divides 725 ;
hence not 725 is prime ; :: thesis: verum