lenght of proof
type: Concept
broader: structure of proof
preferred label: طول برهان @fa

structure of proof
type: Concept
narrower: lenght of proof
preferred label: ساختار برهان @fa