Proof of distributivity theorem in the equational logic
I've recently begun studying equational logic E, that outlined in Gries and Schneider's Logical Approach to Discrete math, and I'm working away proving each theorem in turn.
I've stumbled on theorem 3.45 (Distributivity of over ):
and theorem 3.46 (Distributivity of over ):
As usual, they can only be proven with theorems and axioms of a lower number, and truth tables aren't allowed. I keep starting off by going for axiom 3.35 (Golden rule): , to transform (in the case of 3.45 obviously) as my first step. Does anyone have any hints as to where to start? Am I headed in the right direction? How would anyone else prove these?
Thanks in advance!