Equation Icon  rank 𝔪 = rank 𝔤 − rank𝔭, (6.149 )