Manuscript XVI-J@1 · XVI-J.tex · corollary · 6c1f306d
Corollary: Actual ramp and qualified nonvanishing
Independent polynomial proofs of the numerical tables › Nonvanishing at the appropriate level · lines 1117–1136 · proof included or linked
XVI-J@1#cor:nonzero
On , the time-only preparation jet gives
with every other component zero. This tensor is not identically zero.
Proof. Only survives, so the substitution in (eq:Ktable) gives the displayed formula. If were identically zero, the smooth ramp would be affine. Its constant value on would then force it to be constant everywhere, contradicting its value one for .
Displayed formulas in this passage
unlabeled · line 1120