The theory DCF A exists for p > 0. - Kai Ino; Omar León Sánchez (Ann. Pure Appl. Log., 2026)