1. ~(RvR)

2. I> (R*R)
~I