a^{\aleph _k} = b^{\aleph _k}