R to @DefMon3: Some lazy proof