theorem :: XPRIMES2:2627

canceled;