x*(x+1)*(x+2) ist durch 3 teilbar. [bei dieser Frage hilft die PFZ wohl nicht]
Die drei Faktoren haben bei der Division durch 3 unterschiedliche Reste ≤ 2
Einer davon muss also den Rest 0 haben.
Mit "Rest von a bei der Division durch 3" =: a mod 3 kann man das wohl symbolisch ausdrücken.
Zu ikonisch im Sinne von "bildhaft, anschaulich" fällt mir leider nichts ein.
Eignet sich wohl besonders für geometrische Beweise.