Q&A for users of Wolfram Mathematica
select * from Posts where Tags like ('%algebra%') and Body like ('%proof%')