theorem :: XPRIMES2:5484

canceled;