theorem :: XPRIMES2:6672

canceled;