Ordinalsmumus.sats