Solution
In[63]:=
Out[63]=
In[64]:=
Out[64]=
In[65]:=
Out[65]=
Out[66]=
Substituting a rule into an equation yields a logical expression, which can be simplified into another logical expression, which in this case is simply the expression True.
| Created by Mathematica (April 10, 2007) |