Unconditional Proof of Legendre's Conjecture | Synapse