  We analyze a phenomenon called "image reflection" on a type of
characterization graphs -- LLEE charts -- of 1-free regular expressions modulo
bisimulation equivalence. Due to the correspondence between 1-free regular
expressions and the provable solutions of LEE/LLEE charts, this observation
naturally leads to a new proof for the completeness of the proof system
\MilIfree\ for 1-free regular expressions modulo bisimulation equivalence. The
critical part of the previous proof is to show that bisimulation collapse,
which plays the role in linking the provable solutions of two LLEE charts, is
still an LLEE chart. The difference of our proof, compared to the previous one,
is that we do not rely on the graph transformations from LLEE charts into their
bisimulation collapses by merging two bisimular nodes in each transformation
step. Instead, we directly show that the bisimulation collapse of an LLEE chart
possesses an LEE/LLEE structure based on its set of images mapped through the
bisimulation function from the LLEE chart, and the constrained relation between
the images and their so-called "well-structured" looping-back charts pre-images
on the LLEE chart. Our approach provides a novel angle to look at this problem
and related problems, and might introduce a different way for proving the
completeness problem of \Mil\ for regular expressions modulo bisimulation
equivalence, which had remained open until very recently.
