https://5dok.net/document/7qv0gpry-on-proving-communication-closedness-of-distributed-layers.html