ショルツェはabcの別証明を狙っている。