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