Distribuição sobre Prefixo

c.ae → Skip ≤ c.ce → Skip dado que ∀ P1.State; P2.State; L • R ∧ ae = ce