簡単に言えば指数部を整数に限定すれば証明することも出来るって程度で証明するような性質のものじゃないから法則なのだろう。