(Referenced by 754; 801)
: The second throw-in with is used by Cheng in his 2010 [Lit. 9] solution. So we now judge that our idea ( 914) has been "professionally approved".