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