- 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.
Очевидно, теорема верна для конечных множеств.