Detection of intergalactic red-giant-branch stars in the Virgo cluster | doi.page