A theorum may become fact