Demonstrated the propositional truncation as a quotient