You can just split 8112 into the form of 10x + y which gives you 10 x 811 + 2, where you can now apply the x + 4y equation to give you 819, then you can just continue to repeat this process which gets you 117? and 39? Then you can just say 39 is obviously divisible by 3 (also because you can't recursively do it anymore it just gives you 39 over and over again) and by our iff statement this must mean that all the numbers above i.e 117 must be divisible by 13.