charles hopkinsの論文との論文から定理は現在の形となった。