Proof of Divisibility Rules - Search