Kommt drauf an, was du kennst, bzw. verwenden darst.
Ich denke mal | IN | = | INxIN | ist bekannt ?
also auch: Wenn A abzählbar ist, dann auch AxA.
Außerdem sollte bekannt sein: Q abzählbar.
Also auch QxQ und damit auch
(QxQ) x ( QxQ ) = Q ^4 .
Also Q^4 abzählbar.
Und zwischen zwei abzählbaren gibt es immer eine bijektive Abb.