Böttcher–Wenzel conjecture