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