ショルツやファルティングスさえ理解できない証明を
RIMSの査読者は理解しているというのは不自然。