Ehdotan, että jätämme sen pois. äärellisessä dim-tapauksessa se on triviaali tosiasia, joka johtuu jäljen yksikäsitteisestä invarianssista. äärettömän dim-tapauksessa projektion ei tarvitse olla jälkiluokkaa, ja on oltava varovaisempi.