“…-For m = n Theorem 3.7 was proved by Bedford and Taylor [1] with the help of an interior C 1,1 estimate ([1, Theorem 6.7]), which, together with later simplifications due to Demailly [11], gives an overall simpler and more elementary proof than the one presented here (not employing strong solutions at all and thus not using the EvansKrylov theory and estimate (3.7)). It relied however on the following, rather rare, property: the group of smooth diffeomorphisms of the unit ball in C n preserving plurisubharmonic functions is transitive.…”