બધા બાહ્ય અને આંતરિક સીમિત સરળ અને સપ્રમાણતા હોવા જોઈએ.