The `` half rule '' mentioned above is that when is even , the halved term/2 is admissible if and only if This is equivalent to :
The `` half rule '' mentioned above is that when is even , the admissible term/2 is halved if and only if This is equivalent to :