From Subdivx. Added a few lines missing between 34mn45 and 35mn. Added italics and corrected minor errors.
From Subdivx. Added a few lines missing between 34mn45 and 35mn. Added italics and corrected minor errors.