Since it cannot be given congruently to the former, but has not yet been found through the latter, it has been judged that at least the impossibility of such a solution can be known with certainty, and Lambert gave a proof of this.