The statement as juanpaulo gives it has no hidden dependence on bases. It is all spelled out by the conditions. The symbols a b c d stand for any values, not the "actual digits" 0-9, which are also merely placeholders for values with no "true meaning" of their own.