Teorema, kas izsaceita kai objekta raksturojums ar itaidom pazeimem, ir bolva.