Endpoint values of the banana rank second difference

This file completes Corollary 2.25(1): on the two multivalent endpoints, the rank second difference of the a-fold endpoint pencil is one through genus and zero afterwards.

theorem Bananas.rankDelta_endpointPencil_nsmul {g : ℕ} (B : Banana g) (a : ℕ) : rankDelta (mark (Utilities.Certificate.SubdivisionGraph.Spec.graph B) (leftEndpoint B) (rightEndpoint B)) (a • endpointPencilDivisor B) = if a ≤ g then 1 else 0

Paper Corollary 2.25(1) (cor-BananaDeltaComps).