In order to apply the second part of the principle we first identify

with

), then from (i) and (ii) of [50.1]

Again we identify (

with