\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
\(\begin{aligned}[t]\textcolor{colordef}{8}+\textcolor{colorprop}{7}&=\textcolor{colordef}{8}+\textcolor{colorprop}{2}+\textcolor{colorprop}{5}\\&=\input{127438}{}{3em}{2em}{}{}\\\end{aligned}\)