Reply To: Should a 2nd date be protocol ?

Now if I could just prove these two lemmas

i believe the singular of lemmings is lemming, not lemma.

and what does a game have to do with the theorem?

unless you are making a reference to game theory?