>>107163414
Proofs aren't /g/. They don't tend to have practical applications.