theorem :: XPRIMES2:5482

canceled;