En operation , som nlgör ett märkligtbewis