Можете объяснить, что означает принцип подстановки Лисков в объектно-ориентированном программировании?