theorem :: XPRIMES2:7492

canceled;