D.20 De­riva­tion of the com­mu­ta­tor rules