Prediction and experimental verification of the stereoselective electrocyclization of 3-formylcyclobutene