for A being non degenerated commutative Ring
for I being proper Ideal of A
for F being non empty FinSequence of Ideals A holds (% I) . (meet (rng F)) = meet (rng ((% I) * F))