Text this: Orthogonal bases in a topological algebra are Schauder bases