KisMATH: Do LLMs Have Knowledge of Implicit Structures in Mathematical Reasoning? (Transactions of the Association for Computational Linguistics, 2026)