Theoretical study around the C=C bond in a stable phosphorus ylide derived from hexamethylphosphorous triamide