Объяснение и примеры субклассного доказательства