Решить задачу

Ввести обозначения множеств утверждения задачи и упростить их формулы по мере возможности, используя алгебру множеств. Провести доказательство утверждения задачи, разделив его на отдельные части. Построить диаграммы Венна для множеств, входящих в утверждение задачи, для случаев выполнения условий утверждения и каждого случая невыполнения условий.
Разные исходные множества выделить штриховкой, а образованные ими множества или их части выделить различными цветами с пояснениями. Построить примеры с множествами из целых неотрицательных чисел для случаев выполнения условий утверждения и каждого случая невыполнения условий, определив все множества примера и показав вычисление по частям.