y
ζκP1Φ
z @P2 @y
C^[~bVΦ
z
y
ζκP1Φ
z @P2 @y
C^[~bVΦ
z