Proof P3043
on R4430: Probability of event in backward orbit under probability-preserving endomorphism

P3043

This result is a particular case of R1975: Measure of set in backward orbit under measure-preserving endomorphism. $\square$