Key points are not available for this paper at this time.
Abstract
Paul Müller (Sat,) studied this question.