theorem :: XPRIMES2:7671

canceled;