Template:Either-is-solvable-assumption fact