a theorum can may become fact