813 = 3 * 271 ;
then 3 divides 813 ;
hence not 813 is prime ; :: thesis: verum