\newrgbcolor{cproof}{0.95 0.92 0.95}
% roman numbers
\newcommand{\RM}[1]{\MakeUppercase{\romannumeral #1{}}}
% vectors are simply represented by bold font characters
\newrgbcolor{cproof}{0.95 0.92 0.95}
% roman numbers
\newcommand{\RM}[1]{\MakeUppercase{\romannumeral #1{}}}
% vectors are simply represented by bold font characters