On a Cartan Formula for Secondary Cohomology Operations. - Kristensen, Leif (Mathematica Scandinavica, 1965)