theorem :: XPRIMES2:6560

canceled;