Доказательство существования некого торгового автомата