theorem :: XPRIMES2:5078

canceled;