>>611
ありません

>>606
に関しては、一つのケースでwolframの計算から正しいことが想定されるが、証明は分からない状態で
もう一つのケースはどう証明すればいいのか検討がつかない状態になりました