This is correct information, YOU had to have Efiled the original return with ProSeries in order to Efile the amended 1040X with ProSeries.