Thanks, Opalg, for warm greetings!
Yes, the proof is pretty straightforward indeed - I've stumbled over the moment when I've decided to prove it in different way, than the standard technique. Maybe, Blackadar has trapped me (Smile) when he had considered the [y,y]=0 case as trivial, thus making...