Neo_Chen (BU4AK)
says to
YSITD
因為 Loop 就是 Primitive Recursiv