Theorem of Even Perfect Numbers/Necessary Condition/Historical Note

Historical Note on Theorem of Even Perfect Numbers
stated in $1638$ that he had a proof that every even perfect number is of the form $2^{p - 1} \paren {2^p - 1}$, but failed to actually produce it.

The first actual published proof was made by.