403 = 13 * 31 ;
then 13 divides 403 ;
hence not 403 is prime ; :: thesis: verum