theorem :: XPRIMES2:5488

canceled;