some more steps to completion of this proof