Det har bevisats — heter det —att