lenght of proof
طول برهان
structure of proof
ساختار برهان