Fortune予想の別証明が完成