for A being non degenerated commutative Ring
for I being proper Ideal of A
for F being non empty FinSequence of Ideals A holds
( rng ((% I) * F) <> {} & rng F <> {} & meet (rng ((% I) * F)) c= the carrier of A )