正しい証明に対して、工作活動は無駄だと思います