theorem :: XPRIMES2:2729

canceled;