“…The statement of the approximate model (3) derived with the two-scale transform was announced in (Lenczner, 1997). Then several proofs have been published, in (Lenczner and Senouci-Bereksi, 1999), (Casado-Díaz, 2000), (Cioranescu et al, 2002), (Lenczner and Smith, 2007), and (Cioranescu et al, 2008). Here we follow the proof in (Lenczner and Smith, 2007) where an effort has been made to formulate proofs in an algebraic way and to avoid any abstract reasoning in the sequences of formal transformations.…”