Proof of divisibility by 4. .