PSE Example 2.7 - EliminateVariable