theorem :: XPRIMES2:1552

canceled;