An Existence Lemma for Canonical Forms in Symbolic Mathematics. - Bob F. Caviness; P. L. Pollack; C. M. Rubald (Inf. Process. Lett., 1971)