sequenceDiagram
A->>A: rA
C-->>C: rC
B->>B: rB
A->>B: rA*G
B->>A: rB*G
A->>A: PKA=rA*(rB*G)
B->>B: PKB=rB*(rA*G)
C-->>A: rC*G
A-->>C: rA*G
C-->>B: rC*G
B-->>C: rB*G
A-->>A: PKA‘=rA*(rC*G)
B-->>B: PKB‘=rB*(rC*G)
C-->>C: PKC_A=rC(rA*G)
C-->>C: PKC_B=rC(rB*G)
1+2=3