theorem :: XPRIMES2:7073

canceled;