Jag är förvirrad med Thm2, instruktören sa och förklarade som att x är grövre än x' men eftersom x' finns i x och med tanke på definitionen av partitionen, borde inte hans förklara vara motsatt medan han bevisar Thm2? så x innehåller x' och mer tror jag####[['Thm2,', 'Mathematical_Related_Concept', 'NEU']]