Changing div0 and div1 to div with an identity transform

This is the identity transform we need:


  
    
  
 
             

  
]]>
XSLT Constructors, slide 15 of 16