527 = 17 * 31 ;
then 17 divides 527 ;
hence not 527 is prime ; :: thesis: verum