RE: divisibility proofs