また正規直交基底の完全性は離散基底、連続基底でそれぞれ