involutivity invertibility cofreeness coduality polyconvexity indecomposability multivaluedness superintegrability concurvity divisibility