Bewisningen i detta stycke är flarpoch