Ett nödvändigt vilkor härför är , attfredsformationerna