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