take 1. (R,n) ; :: thesis: 1. (R,n) is invertible
thus 1. (R,n) is invertible ; :: thesis: verum