第4週作業

提醒一些定理上的對偶和累乘性的別稱、吸收律私下可稱呼的方式(或許會更直覺。