theorem :: XPRIMES2:1512

canceled;