http://nikitin.wm.ru/almanath/HTML/Mopo_dop.htm

есть отсылки (неявные) на дискуссию по несостоятельности леммы Петрова