RMS BASIC Proofs