Beweis
Ohne Einschränkung sei
-
![{\displaystyle {}L=\{1,2,\ldots ,\ell \}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/046288582471f9ccd5c1e3f12bde2c92d7ea6c83)
Es gibt eine natürliche bijektive Abbildung
-
was darauf beruht, dass eine Abbildung und eine vollständige Wertetabelle äquivalente Objekte sind. Daher folgt die Aussage aus
Fakt
bzw. dessen Verallgemeinerung auf eine mehrfache Produktmenge, siehe
Aufgabe.