Some miscellaneous results of work of division, 7.

Tools