Marguerite's Theorem | ALEFAST