X6/X3=X3是否成立?