Email Post: The Type II phase resetting curve is optimal for noise-induced synchrony: a mathematical proof