Basis must be reduced whether you deduct for a casualty loss, correct?

(Presumes loss from federal declaration of emergency or disaster under Stafford)

Then, basis must be increased for repairs (of which the cost was reimbursed by home insurance), correct?