reconsider M = {(1. R)} as non empty Subset of R ;
take M ; :: thesis: M is multiplicatively-closed
thus M is multiplicatively-closed by Th5; :: thesis: verum