theorem :: XPRIMES2:2728

canceled;