Embed this proof

Cite this proof in your wiki, docs, or README:

HTML

{{ embed.html|e }}

Markdown

{{ embed.markdown|e }}

SVG URL

{{ embed.url|e }}

Preview: $proof: {{ embed_proof.verdict }}$