Diastereoselective synthesis of pyrrolidines via 1,3-dipolar cycloaddition of a chiral azomethine ylide