Yet another quick proof that K10P+ P+ P