Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic