Endast om det kan bewisas,