theorem :: XPRIMES2:5380

canceled;