Solved into a formal proef for propositon, mite formal proof | Chegg.com