Equivalence Proof - Expressive Power of Relational Languages | OneNoughtOne