theorem :: XPRIMES2:1532

canceled;