Thermal-Noise Limit in the Frequency Stabilization of Lasers with Rigid Cavities | Synapse