=
or
≠
), we get
The justification for the last sign of equality becomes evident if one applies (4) to the inverse substitution (5).
=
or
≠
), we get
The justification for the last sign of equality becomes evident if one applies (4) to the inverse substitution (5).