उपप्रमेय - अन्य भाषाएँ