QED. Fenomenologia della dimostrazione