[see also: check, examination, scrutiny, verification
The theorem is false without the assumption that......, as an inspection of Example 3 shows.
A close inspection of the proof reveals that......
a careful <detailed/thorough/bief/routine> inspection