I formalise a rather stylised insurance market with adverse selection as a standard duopoly. I formally specify demand functions and profits and I prove that a Nash equilibrium in pure strategies exists if and only if the well-known Rothschild-Stiglitz allocation is efficient