An Onsager singularity theorem for Leray solutions of incompressible Navier–Stokes. (10th October 2019)