ssrnat の leqP の例を追加した。