Puisque est contenu dans , est contenu dans , autrement dit : donc .

Or et . Donc le rang de est inférieur ou égal au rang de .