Logic of divisibility rule of 13