Is it legitimate to specify a statement as a Theorem if it is proved using numerical methods (since it can’t be proved analytically)?