Use equational reasoning approach to prove that the given proposition has a truth value of TRUE(p ↔ true) → p step by step?