О константе "единица" в исчислении Ламбека и его инфинитарном расширениидоклад на конференции