`M_4` üres halmaz mindegyik halmaznak része. A többieket két részre bonthatod: egyik halmaz csoport a síkidomok, míg a másik csoport az egész számok halmazához fog tartozni. A síkidomok esetén könnyű észrevenni, hogy `M_7 sub M_6` és `M_8 sub M_6`. De ez is igaz lesz: `M_7 sub M_8`. Másik csoport esetén kijelenthetjük, hogy mivel `M_1` és `M_2` számhalmazok nem csak prímeket tartalmaznak, ezért csak a kettő közötti viszonyt kell megvizsgálni. Rövid gondolkozás után rá jöhetünk, hogy `M_1 sub M_2` Marad még a `M_5` egyelemű halmaz vizsgálata. Viszonylag hamar rájöhetünk arra is, hogy `M_5 sub M_i`, ahol `i=1,2,3`.