An efficient synthesis of (6R,7R,8S,8aS)‐6,7,8‐trihydroxyindolizidine and (6R,7R,8R,8aS)‐6,7,8‐trihydroxyindolizidine is described from readily available N‐BOC‐L‐proline, (BOC = tert‐butoxycarbonyl) which involves the addition of ethyl lithiopropiolate to the aldehyde derived from N‐BOC‐L‐proline as a key step, then cyclization to construct indolizidine skeletons and asymmetric dihydroxylation. (© Wiley‐VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2003)