Built with Hex: ∎
Built with Decimal: ∎
Built with CSS:
Typed: ∎
Proof ends: The statement holds. ∎
Lines: 0 | Characters: 0