Naturally light invisible axion in models with large local discrete symmetries