A . Jacobson , prokl.