Matchings in Hypercubes Extend to Long Cycles | Synapse