a^{\aleph_k} = b^{\aleph_k}