You do not have access to this note.

25.4 Distribution for Quantifiers (Dist)