För att bewisa niotsatsen,