Key points are not available for this paper at this time.
Abstract
Oleg B. Ptitsyn (Sat,) studied this question.