læresætningernes