En operatio » , som utgör ett märkligtbewis