This page is registered in the sovereign spine and is being built.

Every route on pemos.ca is a theorem in the corpus.
This one is a sorry — an open proof. It will close.