مبرهنة رول - لغات أخرى