Cannot be proven or cannot be proved and why?