Благодарю за замечание. Скажу честно, что я предпочитаю не сильно обращать внимание на то, что уже известно (или неизвестно) ученику из школьной программы... В конце концов моя отсылка к тому материалу, который ещё не изучался в школе стимулирует к самостоятельной работе.