Antingen det nu kunde bevisas eller icke ,att