A remark on a recent proof of Lehmer's Conjecture [arXiv:1709.03771] - Francesco Amoroso (2018)