Collaborations between Mikhail Efremov and Pyotr Ershov