This link will summarize Gilbert and Lynch's specification and proof of the CAP Theorem with pictures