اصل فرما - زبان‌های دیگر