この人、ライプニッツの公式は証明できないの?