theorem :: XPRIMES2:6492

canceled;