ベンツ Vクラス ハイブリッド. Tipos de pollera congo.

Cadsynth dataset. Prove that n^3 - n is a multiple of 6.