Two Interpolation Theorems for a pi11 Predicate Calculus. - Shoji Maehara; Gaisi Takeuti (J. Symb. Log., 1971)