Aurora Is One - Proofs