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