theorem by arboreal - Quiet Banger | Quiet Banger