>779
別に正しいならいいだろう。ここで厳密な証明を必要とする理由があるか?