Work Energy Theorem Proving