theorem :: XPRIMES2:5480

canceled;