On the existence of factor sets by external equivalences in IST. Prokhorova, M.F. — 2002 Sibirskij Matematicheskij Zhurnal