An algorithm that constructs irreducible triangulations of once-punctured surfacesстатья