Obehöfligheten af twenne afdelningarbewisas