The authors discuss unfair generalizations in Graph Neural Networks (GNNs).They present an outline of the proof structure for Theorem 2.The theorem aims to show the existence of a constant independent of the property of each test group.The paper is available on arxiv under CC BY 4.0 DEED license.