Proofs by contradiction with divisibility