阅读下面程序，则程序的执行结果为 【9】 。
#include"stdio.h"
main()
int a=30，b=20，z；
z=fun(a+b，a-b)；
printf("%d\n"，z)；
fun(int a，int b)
int z；
z=a/b；
return z；

“忙碌为充肚子饥，刚得饭饱又思衣。恰得衣食两分足，家中缺少美貌妻。家娶三妻和两妾，出门走路少马骑。”这段民谣和__________ 理论的精神实质不谋而合。