- 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.
Kétségtelen, hogy a tétel igaz minden véges halmazra.