Non so se esiste già, comunque...
Dati due numeri Naturali NON multipli di tre, la loro somma OPPURE (il valore assoluto de) la loro differenza è sempre un multiplo di tre.
ovvero
presi due numeri che non siano multipli di tre, se li sommate o li sottrate, una delle due (e solo una delle due) operazioni dà un multiplo di tre.