- 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.
Obviously, the theorem is true for finite sets.