En sats , hvilken icke är theoretiskt bevisad , blirnemligen