Prove Divisibility Transformation with Constants