[r-t] Double extent of major

[Simon Humphrey]

> Come to think of it, is it possible to construct a true 40.320 of
> plain major using just bobs? 
I'd be interested in seeing a proof of the answer to this.  Ander?
I remember arguing with Denis Carlisle about it, some 30-odd years ago.  I
had produced a 7-part 40320 of Plain Bob Major and asked him if he'd prove
it; but he said he didn't need to because it was bound to be false.
My feeling now is that Denis was right.  But I wonder . . . now, where did I
put that composition . . .
SH