An Illustrated Proof of the CAP Theorem