decompose_det proven