Teilbarkeit durch 13

Eine Zahl z = 100x + y ist genau dann durch 13 teilbar, wenn a) |4x- y| durch 13 teilbar oder b) 9x + y durch 13 teilbar ist.