PAPERS: V1828-Aql
RAA_proof.pdf