what have to be done have to be done

●Idioms, etc.

what have to be done have to be done: 背に腹は替えられない 谷崎潤一郎著 マッカーシー訳 『猫と庄造と二人のおんな』(A Cat, A Man, and Two Women ) p. 35

what have to be done was done: やるべきことをやったまでだ フルガム著 池央耿訳 『人生に必要な知恵はすべて幼稚園の砂場で学んだ』(All I Really Need to Know I Learned in Kindergarten ) p. 67