D0x0000FF@tg says to YSITD
直接假設直接證明R