take R --> (0. S) ; :: thesis: R --> (0. S) is multiplicative
thus R --> (0. S) is multiplicative ; :: thesis: verum