393 = 3 * 131 ;
then 3 divides 393 ;
hence not 393 is prime ; :: thesis: verum