theorem :: XPRIMES2:5080

canceled;