RoRo♥: Proof example 1
RoRo♥: Proof example 2
RoRo♥: Proof example 3