A är L . Då bewisar C , att äricke