1085 = 5 * 217 ;
then 5 divides 1085 ;
hence not 1085 is prime ; :: thesis: verum