Title: Taḥqīq al-burhān fī ithbāt ḥaqīqat al-mīzān