Remix.run Logo
firasd 40 minutes ago

If I'm understanding this correctly, here 'solve' is being used in a loose or miniature sense. ie. it's not proving or disproving the conjecture but is a solution for how one part of the expression involved in analyzing it is evaluated