theorem :: XPRIMES2:552

canceled;