Using Synthetic Data to estimate the True Error is theoretically and practically doable