>>147
ショルツェによる「単純化」自身の妥当性も
computer-assisted proof とやらで証明されうるのか?

そうは思えないが