Teoremet er åpenbart sant for endelige mengder.
Obviously, the theorem is true for finite sets.