条件付きextension以下にAnySequenceが書かれているが、一体何を材料に、そのSubSequenceをAnySeuqenceと断定できるのか、という