completeness relation quantum mechanics proof