theorem :: XPRIMES2:4705

canceled;