theorem :: XPRIMES2:4752

canceled;