Denna afdelning slutar med ett bevis ,ali