Является ли связь между полиморфизмом подтипов и принципом Лисков одним и тем же концептом или они имеют разные идеи?