组合数学是不用计数的计数艺术。
Combinatorics is the art of counting without counting.
The artist must be a servant of the absolute.
里氏替换原则是面向对象编程中的一个基本概念,它指出子类的对象应该能够替换超类的对象而不影响程序的正确性。