[see also: essence, point, nature
What the theorem is saying in substance is that......
We should expect that...... This expectation is given substance by the following result.