theorem :: XPRIMES2:5064

canceled;