let CS be ClosureStr of S; :: thesis: ( CS is absolutely-multiplicative implies CS is multiplicative )
assume CS is absolutely-multiplicative ; :: thesis: CS is multiplicative
hence the Family of CS is multiplicative ; :: according to CLOSURE2:def 16 :: thesis: verum