Jeg er forvirret med Thm2, instruktøren sagde og forklarede som om x er grovere end x', men da x' er indeholdt i x og overvejer definitionen af partitionen, er hans forklaring ikke det modsatte, mens han beviser Thm2? så x indeholder x' og mere tror jeg####[['Thm2,', 'Mathematical_Related_Concept', 'NEU']]