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