Navy:10.4169/amer.math.monthly.120.10.901
Navy:10.4169/amer.math.monthly.123.08.802