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