three out of the six triples implied by Theorem1 in its current formulation come from the identity 23 + 13 = 32, while the result yields a solution of the IMO problems which have originally stimulated this work.
Specifically, we have the following corollary (of which we omit the obvious proof)