Stupid Patent of the Month: A Patent on Using Mathematical Proofs &url= https://www.eff.org/deeplinks/2018/11/stupid-patent-month-patent-using-mathematical-proofs