theorem :: XPRIMES2:2751

canceled;