Supplemental analysis on compressed sensing based interior tomography

Recently, in the compressed sensing framework we proved that an interior ROI can be exactly reconstructed via the total variation minimization if the ROI is piecewise constant. In the proofs, we implicitly utilized the property that if an artifact image assumes a constant value within the ROI, then this constant must be zero. Here we prove this property in the space of square integrable functions.