theorem :: XPRIMES2:2727

canceled;