Feynman operator calculus, Dyson conjecture, divergences in QED