Pardon my naivete, but why isn't this obvious?
Of course two systems can only be consistent if they can communicate, so you have to either sacrifice availability until the partition is resolved, or give up on consistency.
Of course two systems can only be consistent if they can communicate, so you have to either sacrifice availability until the partition is resolved, or give up on consistency.
A) Formulating the theorem in the first place
B) Coming up with the proof yourself