, , 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.