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