Key points are not available for this paper at this time.
:
Andrei Bogdanov (Sat,) studied this question.