What is the formal statement of the fact that logits add for perfectly calibrated and maximally independent predictions?