リークマン=アナルだというのがわかりました。