tanıtlanmak

يَجِبُ إِثْبَاتُ هَذِهِ النَّظَرِيَّةِ رِيَاضِيًّا.

Bu teorem matematiksel olarak tanıtlanmak zorundadır.

يَجِبُ تَدْلِيلُ هَذَا الِادِّعَاءِ بِالأَدِلَّةِ.

Bu iddia kanıtlarla tanıtlanmak zorundadır.