>>315
ま、式の構造やその性質に目を向けない限り、証明は思い付かないね。