För att bewisa satsen har den enabland