Claim 1: [ilmath]\sigma(\mathcal{O})=\sigma(\mathcal{C})[/ilmath]
TODO: Be bothered, just use complements