theorem :: XPRIMES1:1551

canceled;