scallop theorems