theorem :: XPRIMES2:5505

canceled;