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