theorem :: XPRIMES2:6902

canceled;