Solved thms appears in the table with an expression missing. Which(04) Save Image Image gallery: Which Expression Is Missing From The Proof