ene är ett tvärsäkert axiom , gömmer för den andre ännu mycket att bevisa.