- Lause on ilmiselvästi tosi äärellisille joukoille.
- Lause on ilmiselvästi totta äärellisille joukoille.
- Lause ilmiselvästi pätee äärellisille joukoille.
- Lause pätee ilmiselvästi äärellisille joukoille.
Offensichtlich ist das Theorem für endliche Mengen wahr.