Assertion: unique solvability | /r/HasProperty | proved in lemma
Facets:
value: for the case
type: TRANSITIVE-OBJECT
Source sentences:
text: For the case where the assumptions are taken into account, with , and , and for , the unique solvability of (41) has been proved in Lemma 4.1 of , which can be easily extended to the planar case, applying our Lemmas 4 and 5 at the right time.