let CS be MSClosureStr of S; :: thesis: ( CS is absolutely-multiplicative implies CS is multiplicative )
assume CS is absolutely-multiplicative ; :: thesis: CS is multiplicative
then A1: the Family of CS is absolutely-multiplicative ;
thus the Family of CS is multiplicative by A1; :: according to CLOSURE1:def 8 :: thesis: verum