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