ProofWiki:Sandbox

$$ $$ $$ $$ $$

$$ $$ $$ $$

$$ $$

$$ $$ $$ $$

$$ $$