Hard bewijs by Philip Margolin