Derived equivalence of Ito-Miura-Okawa-Ueda Calabi-Yau 3-folds

We prove derived equivalence of Calabi-Yau threefolds constructed by Ito-Miura-Okawa-Ueda as an example of non-birational Calabi-Yau varieties whose difference in the Grothendieck ring of varieties is annihilated by the affine line.