The derivability problem for Lambek calculus with one division