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