ピロリン酸(ピロリンさん、)とも呼ばれる。