220803 猫头鹰头猫头鹰练习

替换再多次
得到还是恒等式
迷路人晕倒不计
旋转矩阵扭动星河

你说猫，我说鹰
你说猫头鹰，我说鹰头猫
你说猫头鹰头猫，我说鹰头猫头鹰
你说猫头鹰头猫头鹰

公理，定理，引理
假说自己说出的叫做推论
我说猫头猫，鹰头鹰
都是猫头鹰头猫头鹰