Hypothesis: the sum of an m-pointed set and an n-pointed set is an m+n-pointed set. Is this true? I've not thought of a counterexample. If this is a theorem, can anyone tell me where to find a proof. Such a proof, presented by a professional mathematician, would be interesting and instructive. Thanks, peter_easthope@gulfnet.sd64.bc.ca