I.T51 — Linearity of Integration

The τ-integral is linear: ∫_k (af + bg) = a ∫_k f + b ∫_k g. Verified computationally for arbitrary coefficients at stage 2.