An ideal of the completed local ring at the point of a child lies in the child ideal set iff its image in the child member lies in the child's state set.

Initializing...

An ideal of the completed local ring at the point of a child lies in the child ideal set iff its image in the child member lies in the child's state set. · Prove2Me