User blog comment:Wythagoras/FGH of Dollar Function new version/@comment-11227630-20131022073239/@comment-1605058-20131022173717

Yes, it seems to follow from rules 7. and 3. respectively.