Proof of Superrenormalizability of the Ouroboros Lagrangian | Synapse