>>109
ごめんなさい、テスト方法に不備がありまして、False になる場合もありますね
導けないかも知れません

興味があるので改めてお尋ねしますが、
>>108 の式の恒等性はどうやって証明するのでしょうか？