What axiom allows #x10# to be written as # 10x#?