Mathematical proof that badposting is not badpostedly enough:

This proof is trivial if you’ve read enough theory.

Proof. a := Dialectal materialism, b := badposts not badpostingly enough. a ⊢ b. QED.