Any Math App That Solves Proves