R to @DefMon3: Proof: