theorem :: XPRIMES2:5665

canceled;