theorem :: XPRIMES2:1551

canceled;