,
, z"=z,
.Stel nu dat verg. (4.41) geldig is. Dan volgt dat
,
,
en
.
Met de laatste gelijkheid vinden we , zodat uit de
eerste drie af te leiden is dat
. Hiermee is
, waaruit volgt
, als check. Met deze waarden voor
luidt verg. (4.41)
,
, z"=z,
Alleen al aan de uitdrukking voor x", waarin geen y voorkomt, zien we dat dit niet overeenkomt met het eerder gevonden resultaat.