失礼しました。a>0です。
とりあえず、証明はどちらでも可、ということですね
安心しました。