~draw~ rechteck(1|1 9 7);rechteck(2|2 2 1 );rechteck(5|2 3 1 );;rechteck(2|5 2 1 );rechteck(5|5 3 1 );zoom(10) ~draw~
S o sieht das ja aus mit M=[1;10] und M ' = [1;8 ]
und A= [2;4] ∪ [5;8] und A ' = [2;3] ∪ [5;6] .
Ich glaube da wird es mit der disjunkten Vereinigung auf der rechten Seite
der Gleichung etwas schwierig.
