Improved the proof of the lemma on boxtimes in the section pull-backs and products.