OAI.Solenoidal.sheet_theorem