Eberhard%27s theorem

undefined