FactorGraphNeuralNet--SupplementaryFile AProof of propositions