Title: Bochner's formula
Content: Bochner identity ; Weitzenböck identity 
Title: Bochner identity
Content:  In mathematics &mdash; specifically, differential geometry &mdash; the Bochner identity is an identity concerning harmonic maps between Riemannian manifolds. The identity is named after the American mathematician Salomon Bochner.
Title: George Boole
Content:  In 1857, Boole published the treatise "On the Comparison of Transcendent, with Certain Applications to the Theory of Definite Integrals", in which he studied the sum of residues of a rational function. Among other results, he proved what is now called Boole's identity: for any real numbers ak > 0, bk, and t > 0. Generalisations of this identity play an important role in the theory of the Hilbert transform.
Title: Bochner's formula
Content:  If. This immediately follows from the first identity, observing that the integral of the left-hand side vanishes (by the divergence theorem) and integrating by parts the first term on the right-hand side.
Title: Salomon Bochner
Content:  In 1925 he started work in the area of almost periodic functions, simplifying the approach of Harald Bohr by use of compactness and approximate identity arguments. In 1933 he defined the Bochner integral, as it is now called, for vector-valued functions. Bochner's theorem on Fourier transforms appeared in a 1932 book. His techniques came into their own as Pontryagin duality and then the representation theory of locally compact groups developed in the following years. Subsequently, he worked on multiple Fourier series, posing the question of the Bochner–Riesz means. This led to results on how the Fourier transform on Euclidean space behaves under rotations. In differential geometry, Bochner's formula on curvature from 1946 was published. Joint work with Kentaro Yano (1912–1993) led to the 1953 book Curvature and Betti Numbers. It had consequences, for the Kodaira vanishing theory, representation theory, and spin manifolds. Bochner also worked on several complex variables (the Bochner–Martinelli formula and the book Several Complex Variables from 1948 with W. T. Martin).
Title: Bochner–Kodaira–Nakano identity
Content:  In mathematics, the Bochner–Kodaira–Nakano identity is an analogue of the Weitzenböck identity for hermitian manifolds, giving an expression for the antiholomorphic Laplacian of a vector bundle over a hermitian manifold in terms of its complex conjugate and the curvature of the bundle and the torsion of the metric of the manifold. It is named after Salomon Bochner, Kunihiko Kodaira, and Shigeo Nakano.
Title: List of mathematical identities
Content: Bézout's identity (despite its usual name, it is not, properly speaking, an identity) ; Binomial inverse theorem ; Binomial identity ; Brahmagupta–Fibonacci two-square identity ; Candido's identity ; Cassini and Catalan identities ; Degen's eight-square identity ; Difference of two squares ; Euler's four-square identity ; Euler's identity ; Fibonacci's identity see Brahmagupta–Fibonacci identity or Cassini and Catalan identities ; Heine's identity ; Hermite's identity ; Lagrange's identity ; Lagrange's trigonometric identities ; MacWilliams identity ; Matrix determinant lemma ; Newton's identity ; Parseval's identity ; Pfister's sixteen-square identity ; Sherman–Morrison formula ; Sophie Germain identity ; Sun's curious identity ; Sylvester's determinant identity ; Vandermonde's identity ; Woodbury matrix identity This article lists mathematical identities, that is, identically true relations holding in mathematics. 
Title: Woodbury matrix identity
Content:  The formula can be proven by checking that
Title: Boole's expansion theorem
Content:  Boole's expansion theorem, often referred to as the Shannon expansion or decomposition, is the identity: is false).
Title: Bochner integral
Content:  Let

Question: Verify the following claims with "True" or "False": What is the name of Bochner identity's successor?
Answer: False