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