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