# Redmond–Sun conjecture
**Wikidata**: [Q7306138](https://www.wikidata.org/wiki/Q7306138)  
**Source**: https://4ort.xyz/entity/redmond-sun-conjecture