Q.E.D.

鸡起犬眠，豕餐牛作。苏才郭福，姬子彭年。