Four-class restricted absorption: a SAFE block in one odd class mod 8 absorbs a target with $2n+4$ letters

Initializing...

Four-class restricted absorption: a SAFE block in one odd class mod 8 absorbs a target with $2n+4$ letters · Prove2Me