PX262 - C10 - the basic postulates

postulate 1

postulate 2

postulate 3

postulate 4

an=∫ϕn∗ψdτ

postulate 5