Privacy Equations

最近

最开始是Andrew Pitts & Ian Stark 93 的 paper, Example 4(3)

Reloc 可以证这个吗？