Collaborations between Vladimir Dikun and Pyotr Ershov