190317 Divisible By Three by Coq Freisenberger