Perlis theorem