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