This proof offers an interpretation of the Lomoplan outputs.
When Lomoplan first computes the filter coefficients,
it estimates the vector .
The filter coefficients capture the inverse (dip) spectrum
of the local subcube.
The application of the filter within the subcube
computes at every location
the vector product of the overall gradient of the subcube
and the gradient at that specific location,
.(
is the angle between
and the gradient
;
is the normal to the plane spanned by
and
).