User:Dnessett/Sturm-Liouville

User:Dnessett/Sturm-Liouville/Orthogonality proof