Post #3408 832 Jan 6, 2021, 14:21 UTC Так вот — оказывается, что все эти три теоремы (Понселе, Штейнер и кузнечик) следуют из одной, более общей — теоремы Эмха.