theorem :: XPRIMES2:7260

canceled;