prove - زبان‌های دیگر