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

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